机译:使用UML 2.0从需求捕获和一致的需求规范中创建可执行代码,以进行实时汽车软件开发
机译:使用UML,SysML和MARTE的实时系统的基于模型的需求规范
机译:嵌入式实时软件的需求规格检查
机译:嵌入式实时软件的需求规格检查
机译:使用UML 2.0从需求捕获和一致的需求规范创建可执行代码,以实现实时汽车软件开发
机译:使用国际标准识别,规范和测量分配给实时嵌入式软件的系统非功能性要求
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:从嵌入式实时系统的自然语言要求规范生成可执行测试平台
机译:获得要求:技术和经验捕获几个实时应用程序的要求